REACHABILITY ANALYSIS OF COMMUNICATING PUSHDOWN SYSTEMS

机译：通讯推送系统的可达性分析

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Heußner, Alexander; Leroux, Jérôme; Muscholl, Anca; Sutre, Grégoire;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Reachability Analysis of Communicating Pushdown Systems [J] . AlexanderHeu?ner, Jér?meLeroux, AncaMuscholl, Logical Methods in Computer Science . 2012,第3期

机译：通讯下推系统的可达性分析
2. Reachability Analysis of Communicating Pushdown Systems [J] . AlexanderHeu?ner, Jér?meLeroux, AncaMuscholl, Logical Methods in Computer Science . 2012,第3期

机译：通讯下推系统的可达性分析
3. Reachability Analysis of First-order Definable Pushdown Systems [J] . Lorenzo Clemente, Slawomir Lasota LIPIcs : Leibniz International Proceedings in Informatics . 2015,第29期

机译：一阶可定义下推系统的可达性分析
4. Reachability Analysis of Communicating Pushdown Systems [C] . Alexander Heussner, Jerome Leroux, Anca Muscholl, Foundations of software science and computational structures . 2010

机译：通讯下推系统的可达性分析
5. Decidability and optimality in pushdown control systems: A new approach to discrete event control. [D] . Griffin, Christopher. 2007

机译：下推控制系统的可决策性和最佳性：一种离散事件控制的新方法。
6. Reaching hard to reach populations with hard to communicate messages:Efficacy of a Breast Health Research Champion Training Program [O] . Carlin Rafie, Antoinette Ayers, Debbie Cadet, -1

机译：通过难以传达的信息难以触及的人群：乳房健康研究冠军训练计划的功效
7. Reachability Analysis of Communicating Pushdown Systems [O] . Heussner, Alexander, Leroux, Jérôme, Muscholl, Anca, 2012

机译：通信下推系统的可达性分析

REACHABILITY ANALYSIS OF COMMUNICATING PUSHDOWN SYSTEMS

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅